V. Yu. Shavrukov; 1991; "On Rosser's Provability Predicate"